\section {The Icon Translation Table}
This file defines translations into \TeX\ code for reserved words, and keywords of Icon.
It also defines translations for special tokens, such as [[<=]].
<<The [[translation]] table>>=
<<Initialization>>
<<Reserved words>>
<<Icon keywords>>
<<Added in Version 8.10>>
<<Translator directives (V8.10)>>
<<Translations for operators, and other good stuff>>
<<Initialization>>=
translation := table() # Initialize the translation table to contain nulls.
<<Reserved words>>=
translation["by"] := "{\\Cb{}by}"
translation["break"] := "{\\Cb{}break}"
translation["case"] := "{\\Cb{}case}"
translation["create"] := "{\\Cb{}create}"
translation["default"] := "{\\Cb{}default}"
translation["do"] := "{\\Cb{}do}"
translation["else"] := "{\\Cb{}else}"
translation["end"] := "{\\Cb{}end}"
translation["every"] := "{\\Cb{}every}"
translation["global"] := "{\\Cb{}global}"
translation["fail"] := "{\\Cb{}fail}"
translation["if"] := "{\\Cb{}if}"
translation["initial"] := "{\\Cb{}initial}"
translation["link"] := "{\\Cb{}link}"
translation["local"] := "{\\Cb{}local}"
translation["next"] := "{\\Cb{}next}"
translation["not"] := "{\\Cb{}not}"
translation["of"] := "{\\Cb{}of}"
translation["procedure"] := "{\\Cb{}procedure}"
translation["record"] := "{\\Cb{}record}"
translation["repeat"] := "{\\Cb{}repeat}"
translation["return"] := "{\\Cb{}return}"
translation["static"] := "{\\Cb{}static}"
translation["suspend"] := "{\\Cb{}suspend}"
translation["to"] := "{\\Cb{}to}"
translation["then"] := "{\\Cb{}then}"
translation["while"] := "{\\Cb{}while}"
translation["until"] := "{\\Cb{}until}"
<<Icon keywords>>=
translation["&ascii"] := "{\\Cb{}&ascii}"
translation["&clock"] := "{\\Cb{}\&clock}"
translation["&collections"] := "{\\Cb{}\&collections}"
translation["&cset"] := "{\\Cb{}\&cset}"
translation["&current"] := "{\\Cb{}\&current}"
translation["&date"] := "{\\Cb{}\&date}"
translation["&dateline"] := "{\\Cb{}\&dateline}"
translation["&digits"] := "{\\Cb{}\&digits}"
translation["&error"] := "{\\Cb{}\&error}"
translation["&errornumber"] := "{\\Cb{}\&errornumber}"
translation["&errortext"] := "{\\Cb{}\&errortext}"
translation["&errorvalue"] := "{\\Cb{}\&errorvalue}"
translation["&errout"] := "{\\Cb{}\&errout}"
translation["&fail"] := "{\\Cb{}\&fail}"
translation["&features"] := "{\\Cb{}\&features}"
translation["&file"] := "{\\Cb{}\&file}"
translation["&host"] := "{\\Cb{}\&host}"
translation["&input"] := "{\\Cb{}\&input}"
translation["&lcase"] := "{\\Cb{}\&lcase}"
translation["&letters"] := "{\\Cb{}\&letters}"
translation["&level"] := "{\\Cb{}\&level}"
translation["&line"] := "{\\Cb{}\&line}"
translation["&main"] := "{\\Cb{}\&main}"
translation["&null"] := "{\\Cb{}\&null}"
translation["&output"] := "{\\Cb{}\&output}"
translation["&pos"] := "{\\Cb{}\&pos}"
translation["&random"] := "{\\Cb{}\&random}"
translation["&regions"] := "{\\Cb{}\&regions}"
translation["&source"] := "{\\Cb{}\&source}"
translation["&storage"] := "{\\Cb{}\&storage}"
translation["&subject"] := "{\\Cb{}\&subject}"
translation["&time"] := "{\\Cb{}\&time}"
translation["&trace"] := "{\\Cb{}\&trace}"
translation["&ucase"] := "{\\Cb{}\&ucase}"
translation["&version"] := "{\\Cb{}\&version}"
<<Added in Version 8.10>>=
translation["&allocated"] := "{\\Cb{}\&allocated}"
translation["&e"] := "{\\Cb{}\&e}"
translation["&phi"] := "{\\Cb{}\&phi}"
translation["&pi"] := "{\\Cb{}\&pi}"
translation["&progname"] := "{\\Cb{}\&progname}"
<<Added by the X interface>>=
translation["&col"] := "{\\Cb{}\&col}"
translation["&control"] := "{\\Cb{}\&control}"
translation["&interval"] := "{\\Cb{}\&interval}"
translation["&ldrag"] := "{\\Cb{}\&ldrag}"
translation["&lpress"] := "{\\Cb{}\&lpress}"
translation["&lrelease"] := "{\\Cb{}\&lrelease}"
translation["&mdrag"] := "{\\Cb{}\&mdrag}"
translation["&meta"] := "{\\Cb{}\&meta}"
translation["&mpress"] := "{\\Cb{}\&mpress}"
translation["&mrelease"] := "{\\Cb{}\&mrelease}"
translation["&resize"] := "{\\Cb{}\&resize}"
translation["&rdrag"] := "{\\Cb{}\&rdrag}"
translation["&row"] := "{\\Cb{}\&row}"
translation["&rpress"] := "{\\Cb{}\&rpress}"
translation["&rrelease"] := "{\\Cb{}\&rrelease}"
translation["&shift"] := "{\\Cb{}\&shift}"
translation["&window"] := "{\\Cb{}\&window}"
translation["&x"] := "{\\Cb{}\&x}"
translation["&y"] := "{\\Cb{}\&y}"
<<Translator directives (V8.10)>>=
translation["$include"] := "{\\Cb{}\\$include}"
translation["$line"] := "{\\Cb\\$line}"
translation["$define"] := "{\\Cb\\$define}"
translation["$undef"] := "{\\Cb\\$undef}"
translation["$ifdef"] := "{\\Cb\\$ifdef}"
translation["$ifndef"] := "{\\Cb\\$ifndef}"
translation["$else"] := "{\\Cb\\$else}"
translation["$endif"] := "{\\Cb\\$endif}"
<<Translations for operators, and other good stuff>>=
translation["{"] := "\\mbox{\\boldmath$\\{$}"
translation["}"] := "\\mbox{\\boldmath$\\}$}"
translation["\\"] := "\\char'134"
translation["<"] := "$<$"
translation[">"] := "$>$"
translation["<="] := "$\\le$"
translation[">="] := "$\\ge$"
translation["~="] := "$\\neq$"
translation["++"] := "$\\cup$"
translation["**"] := "$\\cap$"
translation["--"] := "$\\setminus$"
translation["&"] := "$\\land$"
translation[">>"] := "$\\succ$"
translation["<<"] := "$\\prec$"
translation["||"] := "$\\Vert$"
translation[">>="] := "$\\succeq$"
translation["<<="] := "$\\preceq$"
translation["=="] := "$=$"
translation["~=="] := "$\\neq$"
translation["==="] := "$\\equiv$"
translation["~==="] := "$\\not\\equiv$"
translation[":=:"] := "$\\leftrightarrow$"
translation["<->"] := "$\\leftrightarrow$"